{ example0 = λ(x : Bool) → x, example1 = λ(x : Bool) → λ(y : Text) → y }
